The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
نویسنده
چکیده
This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.
منابع مشابه
Constructive Examination of a Russell-style Ramified Type Theory
In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-Löf type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of Russell’s reducibility axiom are valid, namely functional reducibility. This is sufficient to make the type hierarchy usable for development of constructive mathema...
متن کاملAmending Frege’s Grundgesetze der Arithmetik [draft]
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of redu...
متن کاملAmending Frege's Grundgesetze der Arithmetik
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is essentially second-order logic together with an abstraction operator that abides to Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for con...
متن کاملAnd the Problems of Predication and Impredicativity I. Self-predication and Paradox
Russell's paradox and the resultant distinction of logical types have been central topics of philosophical discussion for almost a century. In this essay I claim that a more fundamental distinction, that which distinguishes properties and relations as monadic, dyadic, etc., provides a basis for blocking Russell's paradox as applied to properties, not sets, without distinctions of type (or equiv...
متن کاملA New Interpretation of the Semantics of "Moral Obligation" from Allame Tabatabaie's Viewpoint
The most important part in analyzing moral concepts includes those used as predicate in moral sentences covering moral concepts of valuation and obligation. Moral concepts in the field of values include those like “good” and “bad” while obligatory concepts include “ought to” and “ought no” and “duty”. Many papers have been written about “moral obligation”; however, dissociating the area of sema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 48 شماره
صفحات -
تاریخ انتشار 2007